A Systematic Review of Model Based Testing Tool Support
نویسندگان
چکیده
Model-based testing (MBT) is about testing a software system by using a model of its behaviour. To benefit fully from MBT, automation support is required. This paper presents a systematic review of prominent MBT tool support where we focus on tools that rely on state-based models. The systematic review protocol precisely describes the scope of the search and the steps involved in tool selection. Precisely defined criteria are used to compare selected tools and comprise support for test coverage criteria, level of automation for various testing activities, and support for the construction of test scaffolding. The results of this review should be of interest to a wide range of stakeholders: software companies interested in selecting the most appropriate MBT tool for their needs; organizations willing to invest into creating MBT tool support; researchers interested in setting research directions.
منابع مشابه
A Systematic Review of Instruments Measuring Family and Social Support of Breastfeeding Mothers
Background: Due to the low rate of breastfeeding among working mothers and support of interventions to increase the duration of breastfeeding, this systematic review conducted to evaluate psychometric properties of instruments measured mother’s perception of Breastfeeding Support. Materials and Methods: The search was carried in English language databases including Medline (via PubMed), Scopus,...
متن کاملThe Role of demand - control - support model in nursing musculoskeletal disorders:A systematic review
Introduction: Nursing is one of the high risk jobs in the world and its occupational hazards have a direct impact on the health of nurses. Work-based musculoskeletal disorders are prevalent among health care workers, particularly nursing staff. The purpose of this study was to systematically review studies on the relationship between occupational stress based on demand-control-support model an...
متن کاملRequired Structures for Family Physician Program to Achieving Service Quality Dimensions in Primary Health Care: a systematic review
Background and Aim: In recent years, the family physician plan has been implemented as a main strategy of health system in Iran. Therefore, the necessity to reform organizational structure based on experiences of other countries is felt more than before. The aim of this study was to explore required structures of Family Physician Program to achieve service quality dimensions in Primary Health c...
متن کاملDevelopment of decision support tool for municipal solid waste management system in Iran based on life cycle assessment approach
Background and Objective: Various aspects including the environmental burdens, social and economic consequences of the waste management(WM) scenarios must be considered to come up with a comprehensive WM plan. Life Cycle Assessment (LCA) approach is a systematic method to quantify the environmental burdens of each WM scenario. Materials and Methods: This study used an LCA approach to develop a...
متن کاملTesting for Stochastic Non- Linearity in the Rational Expectations Permanent Income Hypothesis
The Rational Expectations Permanent Income Hypothesis implies that consumption follows a martingale. However, most empirical tests have rejected the hypothesis. Those empirical tests are based on linear models. If the data generating process is non-linear, conventional tests may not assess some of the randomness properly. As a result, inference based on conventional tests of linear models can b...
متن کامل